Model variables: cleanly supporting abstraction in design by contract

نویسندگان

  • Yoonsik Cheon
  • Gary T. Leavens
  • Murali Sitaraman
  • Stephen H. Edwards
چکیده

ion in Design By Contract Yoonsik Cheon a,∗, Gary T. Leavens b, Murali Sitaraman c, and Stephen Edwards d aDept. of Computer Science, University of Texas at El Paso, El Paso, TX 79968, U.S.A. bDept. of Computer Science, Iowa State University, Ames, IA 50010, U.S.A. cDept. of Computer Science, Clemson University, Clemson, SC 29634, U.S.A. dDept. of Computer Science, Virginia Tech, Blacksburg, VA 24061, U.S.A.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Collateral as Signal Variable in a Business Partnership Contract: A Case Study of Refah Kargaran Bank

  There is no convergence in the results of the credit relationship between the financial contracting parties (banks and customers) due to the different importance of the contract variables. Therefore, while examining the impact of the empirical relationship between the variables commercial profit-loss sharing contracts, the dual role of the collateral variable (screening and motivation) is in...

متن کامل

SAT Based Predicate Abstraction for Hardware Verification

Predicate abstraction is an important technique for extracting compact finite state models from large or infinite state systems. Predicate abstraction uses decision procedures to compute a model which is amenable to model checking, and has been used successfully for software verification. Little work however has been done on applying predicate abstraction to large scale finite state systems, mo...

متن کامل

Contract Specification of Hardware Designs at Different Abstraction Levels: Application to Functional Verification

The paper touches upon the issues of functional specification and verification of digital hardware at different abstraction levels. It shows how behavioral models of various degrees of abstraction can be represented by means of the contract paradigm and how contract specifications can be applied to generate test sequences in an automated way. The testing technique under consideration is based o...

متن کامل

On Abstraction and Informatics

ion in Informatics Curriculum • Underexposed • Not treated well enough • Implicit Students sometimes (often?) get the (mistaken) impression that abstraction = vagueness and imprecision Informatics teachers often do not know either . . . c © 2011, T. Verhoeff @ TUE.NL 7/16 Abstraction & Informatics Abstraction in Mathematics • How to explain what a fraction is to someone who does not know? • Sta...

متن کامل

Investigating the Relationship Between Organizational Trust and Employees’ Attitudes With Regard to the Mediating Role of the Psychological Contract

Awareness of employees’ attitudes has always been used as one of the important management tools in organizations. Because, employees’ attitudes can affect their behavior in the workplace. Therefore, it's important to understand what factors can affect it. In this regard, due to the increasing level of employees' maturity in many organizations and becoming knowledge-based, two factors of organiz...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Softw., Pract. Exper.

دوره 35  شماره 

صفحات  -

تاریخ انتشار 2005